Optimal. Leaf size=156 \[ \frac{b \left (B \log \left (\frac{e (a+b x)}{c+d x}\right )+A\right )^2}{2 B g i^2 (b c-a d)^2}-\frac{A d (a+b x)}{g i^2 (c+d x) (b c-a d)^2}-\frac{B d (a+b x) \log \left (\frac{e (a+b x)}{c+d x}\right )}{g i^2 (c+d x) (b c-a d)^2}+\frac{B d (a+b x)}{g i^2 (c+d x) (b c-a d)^2} \]
[Out]
________________________________________________________________________________________
Rubi [C] time = 0.713646, antiderivative size = 432, normalized size of antiderivative = 2.77, number of steps used = 24, number of rules used = 11, integrand size = 40, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.275, Rules used = {2528, 2524, 12, 2418, 2390, 2301, 2394, 2393, 2391, 2525, 44} \[ \frac{b B \text{PolyLog}\left (2,-\frac{d (a+b x)}{b c-a d}\right )}{g i^2 (b c-a d)^2}+\frac{b B \text{PolyLog}\left (2,\frac{b (c+d x)}{b c-a d}\right )}{g i^2 (b c-a d)^2}+\frac{b \log (a+b x) \left (B \log \left (\frac{e (a+b x)}{c+d x}\right )+A\right )}{g i^2 (b c-a d)^2}+\frac{B \log \left (\frac{e (a+b x)}{c+d x}\right )+A}{g i^2 (c+d x) (b c-a d)}-\frac{b \log (c+d x) \left (B \log \left (\frac{e (a+b x)}{c+d x}\right )+A\right )}{g i^2 (b c-a d)^2}-\frac{B}{g i^2 (c+d x) (b c-a d)}-\frac{b B \log ^2(a+b x)}{2 g i^2 (b c-a d)^2}-\frac{b B \log ^2(c+d x)}{2 g i^2 (b c-a d)^2}+\frac{b B \log (a+b x) \log \left (\frac{b (c+d x)}{b c-a d}\right )}{g i^2 (b c-a d)^2}-\frac{b B \log (a+b x)}{g i^2 (b c-a d)^2}+\frac{b B \log (c+d x) \log \left (-\frac{d (a+b x)}{b c-a d}\right )}{g i^2 (b c-a d)^2}+\frac{b B \log (c+d x)}{g i^2 (b c-a d)^2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2528
Rule 2524
Rule 12
Rule 2418
Rule 2390
Rule 2301
Rule 2394
Rule 2393
Rule 2391
Rule 2525
Rule 44
Rubi steps
\begin{align*} \int \frac{A+B \log \left (\frac{e (a+b x)}{c+d x}\right )}{(43 c+43 d x)^2 (a g+b g x)} \, dx &=\int \left (\frac{b^2 \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right )}{1849 (b c-a d)^2 g (a+b x)}-\frac{d \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right )}{1849 (b c-a d) g (c+d x)^2}-\frac{b d \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right )}{1849 (b c-a d)^2 g (c+d x)}\right ) \, dx\\ &=\frac{b^2 \int \frac{A+B \log \left (\frac{e (a+b x)}{c+d x}\right )}{a+b x} \, dx}{1849 (b c-a d)^2 g}-\frac{(b d) \int \frac{A+B \log \left (\frac{e (a+b x)}{c+d x}\right )}{c+d x} \, dx}{1849 (b c-a d)^2 g}-\frac{d \int \frac{A+B \log \left (\frac{e (a+b x)}{c+d x}\right )}{(c+d x)^2} \, dx}{1849 (b c-a d) g}\\ &=\frac{A+B \log \left (\frac{e (a+b x)}{c+d x}\right )}{1849 (b c-a d) g (c+d x)}+\frac{b \log (a+b x) \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right )}{1849 (b c-a d)^2 g}-\frac{b \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right ) \log (c+d x)}{1849 (b c-a d)^2 g}-\frac{(b B) \int \frac{(c+d x) \left (-\frac{d e (a+b x)}{(c+d x)^2}+\frac{b e}{c+d x}\right ) \log (a+b x)}{e (a+b x)} \, dx}{1849 (b c-a d)^2 g}+\frac{(b B) \int \frac{(c+d x) \left (-\frac{d e (a+b x)}{(c+d x)^2}+\frac{b e}{c+d x}\right ) \log (c+d x)}{e (a+b x)} \, dx}{1849 (b c-a d)^2 g}-\frac{B \int \frac{b c-a d}{(a+b x) (c+d x)^2} \, dx}{1849 (b c-a d) g}\\ &=\frac{A+B \log \left (\frac{e (a+b x)}{c+d x}\right )}{1849 (b c-a d) g (c+d x)}+\frac{b \log (a+b x) \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right )}{1849 (b c-a d)^2 g}-\frac{b \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right ) \log (c+d x)}{1849 (b c-a d)^2 g}-\frac{B \int \frac{1}{(a+b x) (c+d x)^2} \, dx}{1849 g}-\frac{(b B) \int \frac{(c+d x) \left (-\frac{d e (a+b x)}{(c+d x)^2}+\frac{b e}{c+d x}\right ) \log (a+b x)}{a+b x} \, dx}{1849 (b c-a d)^2 e g}+\frac{(b B) \int \frac{(c+d x) \left (-\frac{d e (a+b x)}{(c+d x)^2}+\frac{b e}{c+d x}\right ) \log (c+d x)}{a+b x} \, dx}{1849 (b c-a d)^2 e g}\\ &=\frac{A+B \log \left (\frac{e (a+b x)}{c+d x}\right )}{1849 (b c-a d) g (c+d x)}+\frac{b \log (a+b x) \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right )}{1849 (b c-a d)^2 g}-\frac{b \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right ) \log (c+d x)}{1849 (b c-a d)^2 g}-\frac{B \int \left (\frac{b^2}{(b c-a d)^2 (a+b x)}-\frac{d}{(b c-a d) (c+d x)^2}-\frac{b d}{(b c-a d)^2 (c+d x)}\right ) \, dx}{1849 g}-\frac{(b B) \int \left (\frac{b e \log (a+b x)}{a+b x}-\frac{d e \log (a+b x)}{c+d x}\right ) \, dx}{1849 (b c-a d)^2 e g}+\frac{(b B) \int \left (\frac{b e \log (c+d x)}{a+b x}-\frac{d e \log (c+d x)}{c+d x}\right ) \, dx}{1849 (b c-a d)^2 e g}\\ &=-\frac{B}{1849 (b c-a d) g (c+d x)}-\frac{b B \log (a+b x)}{1849 (b c-a d)^2 g}+\frac{A+B \log \left (\frac{e (a+b x)}{c+d x}\right )}{1849 (b c-a d) g (c+d x)}+\frac{b \log (a+b x) \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right )}{1849 (b c-a d)^2 g}+\frac{b B \log (c+d x)}{1849 (b c-a d)^2 g}-\frac{b \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right ) \log (c+d x)}{1849 (b c-a d)^2 g}-\frac{\left (b^2 B\right ) \int \frac{\log (a+b x)}{a+b x} \, dx}{1849 (b c-a d)^2 g}+\frac{\left (b^2 B\right ) \int \frac{\log (c+d x)}{a+b x} \, dx}{1849 (b c-a d)^2 g}+\frac{(b B d) \int \frac{\log (a+b x)}{c+d x} \, dx}{1849 (b c-a d)^2 g}-\frac{(b B d) \int \frac{\log (c+d x)}{c+d x} \, dx}{1849 (b c-a d)^2 g}\\ &=-\frac{B}{1849 (b c-a d) g (c+d x)}-\frac{b B \log (a+b x)}{1849 (b c-a d)^2 g}+\frac{A+B \log \left (\frac{e (a+b x)}{c+d x}\right )}{1849 (b c-a d) g (c+d x)}+\frac{b \log (a+b x) \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right )}{1849 (b c-a d)^2 g}+\frac{b B \log (c+d x)}{1849 (b c-a d)^2 g}+\frac{b B \log \left (-\frac{d (a+b x)}{b c-a d}\right ) \log (c+d x)}{1849 (b c-a d)^2 g}-\frac{b \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right ) \log (c+d x)}{1849 (b c-a d)^2 g}+\frac{b B \log (a+b x) \log \left (\frac{b (c+d x)}{b c-a d}\right )}{1849 (b c-a d)^2 g}-\frac{(b B) \operatorname{Subst}\left (\int \frac{\log (x)}{x} \, dx,x,a+b x\right )}{1849 (b c-a d)^2 g}-\frac{(b B) \operatorname{Subst}\left (\int \frac{\log (x)}{x} \, dx,x,c+d x\right )}{1849 (b c-a d)^2 g}-\frac{\left (b^2 B\right ) \int \frac{\log \left (\frac{b (c+d x)}{b c-a d}\right )}{a+b x} \, dx}{1849 (b c-a d)^2 g}-\frac{(b B d) \int \frac{\log \left (\frac{d (a+b x)}{-b c+a d}\right )}{c+d x} \, dx}{1849 (b c-a d)^2 g}\\ &=-\frac{B}{1849 (b c-a d) g (c+d x)}-\frac{b B \log (a+b x)}{1849 (b c-a d)^2 g}-\frac{b B \log ^2(a+b x)}{3698 (b c-a d)^2 g}+\frac{A+B \log \left (\frac{e (a+b x)}{c+d x}\right )}{1849 (b c-a d) g (c+d x)}+\frac{b \log (a+b x) \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right )}{1849 (b c-a d)^2 g}+\frac{b B \log (c+d x)}{1849 (b c-a d)^2 g}+\frac{b B \log \left (-\frac{d (a+b x)}{b c-a d}\right ) \log (c+d x)}{1849 (b c-a d)^2 g}-\frac{b \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right ) \log (c+d x)}{1849 (b c-a d)^2 g}-\frac{b B \log ^2(c+d x)}{3698 (b c-a d)^2 g}+\frac{b B \log (a+b x) \log \left (\frac{b (c+d x)}{b c-a d}\right )}{1849 (b c-a d)^2 g}-\frac{(b B) \operatorname{Subst}\left (\int \frac{\log \left (1+\frac{d x}{b c-a d}\right )}{x} \, dx,x,a+b x\right )}{1849 (b c-a d)^2 g}-\frac{(b B) \operatorname{Subst}\left (\int \frac{\log \left (1+\frac{b x}{-b c+a d}\right )}{x} \, dx,x,c+d x\right )}{1849 (b c-a d)^2 g}\\ &=-\frac{B}{1849 (b c-a d) g (c+d x)}-\frac{b B \log (a+b x)}{1849 (b c-a d)^2 g}-\frac{b B \log ^2(a+b x)}{3698 (b c-a d)^2 g}+\frac{A+B \log \left (\frac{e (a+b x)}{c+d x}\right )}{1849 (b c-a d) g (c+d x)}+\frac{b \log (a+b x) \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right )}{1849 (b c-a d)^2 g}+\frac{b B \log (c+d x)}{1849 (b c-a d)^2 g}+\frac{b B \log \left (-\frac{d (a+b x)}{b c-a d}\right ) \log (c+d x)}{1849 (b c-a d)^2 g}-\frac{b \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right ) \log (c+d x)}{1849 (b c-a d)^2 g}-\frac{b B \log ^2(c+d x)}{3698 (b c-a d)^2 g}+\frac{b B \log (a+b x) \log \left (\frac{b (c+d x)}{b c-a d}\right )}{1849 (b c-a d)^2 g}+\frac{b B \text{Li}_2\left (-\frac{d (a+b x)}{b c-a d}\right )}{1849 (b c-a d)^2 g}+\frac{b B \text{Li}_2\left (\frac{b (c+d x)}{b c-a d}\right )}{1849 (b c-a d)^2 g}\\ \end{align*}
Mathematica [C] time = 0.288676, size = 292, normalized size = 1.87 \[ \frac{-b B (c+d x) \left (\log (a+b x) \left (\log (a+b x)-2 \log \left (\frac{b (c+d x)}{b c-a d}\right )\right )-2 \text{PolyLog}\left (2,\frac{d (a+b x)}{a d-b c}\right )\right )+b B (c+d x) \left (2 \text{PolyLog}\left (2,\frac{b (c+d x)}{b c-a d}\right )+\log (c+d x) \left (2 \log \left (\frac{d (a+b x)}{a d-b c}\right )-\log (c+d x)\right )\right )+2 (b c-a d) \left (B \log \left (\frac{e (a+b x)}{c+d x}\right )+A\right )+2 b (c+d x) \log (a+b x) \left (B \log \left (\frac{e (a+b x)}{c+d x}\right )+A\right )-2 b (c+d x) \log (c+d x) \left (B \log \left (\frac{e (a+b x)}{c+d x}\right )+A\right )-2 B (b (c+d x) \log (a+b x)-a d-b (c+d x) \log (c+d x)+b c)}{2 g i^2 (c+d x) (b c-a d)^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.053, size = 759, normalized size = 4.9 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.2849, size = 568, normalized size = 3.64 \begin{align*} B{\left (\frac{1}{{\left (b c d - a d^{2}\right )} g i^{2} x +{\left (b c^{2} - a c d\right )} g i^{2}} + \frac{b \log \left (b x + a\right )}{{\left (b^{2} c^{2} - 2 \, a b c d + a^{2} d^{2}\right )} g i^{2}} - \frac{b \log \left (d x + c\right )}{{\left (b^{2} c^{2} - 2 \, a b c d + a^{2} d^{2}\right )} g i^{2}}\right )} \log \left (\frac{b e x}{d x + c} + \frac{a e}{d x + c}\right ) + A{\left (\frac{1}{{\left (b c d - a d^{2}\right )} g i^{2} x +{\left (b c^{2} - a c d\right )} g i^{2}} + \frac{b \log \left (b x + a\right )}{{\left (b^{2} c^{2} - 2 \, a b c d + a^{2} d^{2}\right )} g i^{2}} - \frac{b \log \left (d x + c\right )}{{\left (b^{2} c^{2} - 2 \, a b c d + a^{2} d^{2}\right )} g i^{2}}\right )} - \frac{{\left ({\left (b d x + b c\right )} \log \left (b x + a\right )^{2} +{\left (b d x + b c\right )} \log \left (d x + c\right )^{2} + 2 \, b c - 2 \, a d + 2 \,{\left (b d x + b c\right )} \log \left (b x + a\right ) - 2 \,{\left (b d x + b c +{\left (b d x + b c\right )} \log \left (b x + a\right )\right )} \log \left (d x + c\right )\right )} B}{2 \,{\left (b^{2} c^{3} g i^{2} - 2 \, a b c^{2} d g i^{2} + a^{2} c d^{2} g i^{2} +{\left (b^{2} c^{2} d g i^{2} - 2 \, a b c d^{2} g i^{2} + a^{2} d^{3} g i^{2}\right )} x\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 0.511147, size = 328, normalized size = 2.1 \begin{align*} \frac{2 \,{\left (A - B\right )} b c - 2 \,{\left (A - B\right )} a d +{\left (B b d x + B b c\right )} \log \left (\frac{b e x + a e}{d x + c}\right )^{2} + 2 \,{\left ({\left (A - B\right )} b d x + A b c - B a d\right )} \log \left (\frac{b e x + a e}{d x + c}\right )}{2 \,{\left ({\left (b^{2} c^{2} d - 2 \, a b c d^{2} + a^{2} d^{3}\right )} g i^{2} x +{\left (b^{2} c^{3} - 2 \, a b c^{2} d + a^{2} c d^{2}\right )} g i^{2}\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] time = 3.11933, size = 386, normalized size = 2.47 \begin{align*} \frac{B b \log{\left (\frac{e \left (a + b x\right )}{c + d x} \right )}^{2}}{2 a^{2} d^{2} g i^{2} - 4 a b c d g i^{2} + 2 b^{2} c^{2} g i^{2}} - \frac{B \log{\left (\frac{e \left (a + b x\right )}{c + d x} \right )}}{a c d g i^{2} + a d^{2} g i^{2} x - b c^{2} g i^{2} - b c d g i^{2} x} + \left (A - B\right ) \left (- \frac{b \log{\left (x + \frac{- \frac{a^{3} b d^{3}}{\left (a d - b c\right )^{2}} + \frac{3 a^{2} b^{2} c d^{2}}{\left (a d - b c\right )^{2}} - \frac{3 a b^{3} c^{2} d}{\left (a d - b c\right )^{2}} + a b d + \frac{b^{4} c^{3}}{\left (a d - b c\right )^{2}} + b^{2} c}{2 b^{2} d} \right )}}{g i^{2} \left (a d - b c\right )^{2}} + \frac{b \log{\left (x + \frac{\frac{a^{3} b d^{3}}{\left (a d - b c\right )^{2}} - \frac{3 a^{2} b^{2} c d^{2}}{\left (a d - b c\right )^{2}} + \frac{3 a b^{3} c^{2} d}{\left (a d - b c\right )^{2}} + a b d - \frac{b^{4} c^{3}}{\left (a d - b c\right )^{2}} + b^{2} c}{2 b^{2} d} \right )}}{g i^{2} \left (a d - b c\right )^{2}} - \frac{1}{a c d g i^{2} - b c^{2} g i^{2} + x \left (a d^{2} g i^{2} - b c d g i^{2}\right )}\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{B \log \left (\frac{{\left (b x + a\right )} e}{d x + c}\right ) + A}{{\left (b g x + a g\right )}{\left (d i x + c i\right )}^{2}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]